\begin{tabbing}
(\=(BasicSquashHD 5) \+
\\[0ex]CollapseTHEN (UnhideSinceSquashedConcl))$\cdot$
\-
\end{tabbing}